package com.shigi.sat;

import com.shigi.sat.structure.SatInstance;
import com.shigi.sat.structure.SatSolution;

import java.util.List;

/**
 * Created by Miroslav Šiagi on 27/01/15.
 */
public interface SatSolver {
    public SatSolution solve(SatInstance satInstance);
}
